Another times Macro Instruction
نویسنده
چکیده
The semantics of the times macro is given in [2] only for the case when the body of the macro is parahalting. We remedy this by defining a new times macro instruction in terms of while (see [9, 13]). The semantics of the new times macro is given in a way analogous to the semantics of while macros. The new times uses an anonymous variable to control the number of its executions. We present two examples: a trivial one and a remake of the macro for the Fibonacci sequence (see [12]).
منابع مشابه
On the Composition of Non-parahalting Macro Instructions
An attempt to use the Times macro, [2], was the origin of writing this article. First, the semantics of the macro composition as developed in [23, 3, 4] is extended to the case of macro instructions which are not always halting. Next, several functors extending the memory handling for SCMFSA, [18], are defined; they are convenient when writing more complicated programs. After this preparatory w...
متن کاملWhile Macro Instructions of SCMFSA
(1) For every macro instruction I and for every integer location a holds card(if a = 0 then I; Goto(insloc(0)) else (StopSCMFSA)) = card I +6. (2) For every macro instruction I and for every integer location a holds card(if a > 0 then I; Goto(insloc(0)) else (StopSCMFSA)) = card I +6. Let a be an integer location and let I be a macro instruction. The functor while a = 0 do I yields a macro inst...
متن کاملThe while Macro Instructions of SCMFSA. Part II
An attempt to use the while macro, [14], was the origin of writing this article. The while semantics, as given by J.-C. Chen, is slightly extended by weakening its correctness conditions and this forced a quite straightforward remake of a number of theorems from [14]. Numerous additional properties of the while macro are then proven. In the last section, we define a macro instruction computing ...
متن کاملMacro-instruction generation for dynamic logic caching
This paper outlines the synthesis of macro-instructions for dynamically reprogrammable FPGAs so that they may be easily generated, placed, and garbage collected at run-time. An overview of a dynamic logic caching computer that uses these macro-instructions is given and their use within this environment discussed. The synthesis of macro-instructions is illustrated with a basic example. Finally, ...
متن کاملDiurnal variations in milk macro-mineral concentrations in Holstein dairy cows in Urmia, Iran
Milk samples from high and low milk producer Holstein cows, were obtained during the morning and afternoon milking over a one week period. Overall, 1064 samples were tested within 14 times sampling in Urmia, Iran. Milk macro-mineral concentrations in the morning milking and in low producers were greater than in the afternoon and in high producers. The highest and lowest concentrations were obse...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998